Books by author Heike Wehrheim

Showing 1 – 6 out of 6 results

1. 

   Formal Methods for Open Object-Based Distributed Systems

   Roberto Gorrieri, Heike Wehrheim | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2006

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.78 €

   Sale 7 %

   You save 4.29 €

   Buy
2. 

   Fundamental Approaches to Software Engineering

   Heike Wehrheim, Jordi Cabot | Springer Nature Switzerland AG, 2020

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   41.44 €

   Sale 7 %

   You save 3.45 €

   Buy
3. 

   Theoretical Aspects of Computing - ICTAC 2025

   Adnane Saoud, Heike Wehrheim | Springer-Verlag GmbH, 2025

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   76.40 €

   Sale 7 %

   You save 6.41 €

   Buy
4. 

   Tests and Proofs

   Heike Wehrheim | Springer Nature Switzerland AG, 2020

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.78 €

   Sale 7 %

   You save 4.29 €

   Buy
5. 

   Correct System Design

   Roland Meyer, André Platzer, Heike Wehrheim | Springer International Publishing AG, 2015

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   49.65 €

   Sale 7 %

   You save 4.18 €

   Buy
6. 

   Integrated Formal Methods

   Michael Leuschel, Heike Wehrheim | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2009

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.78 €

   Sale 7 %

   You save 4.29 €

   Buy

You can return within 30 days without giving any reason. Find out more